This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...) establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

ABSTRACT: This paper serves two purposes: (i) it can be used by students as an introduction to chapters 1-5 of book iii of the NE; (ii) it suggests an answer to the unresolved question what overall objective this section of the NE has. The paper focuses primarily on Aristotle’s theory of what makes us responsible for our actions and character. After some preliminary observations about praise, blame and responsibility (Section 2), it sets out in detail how all the key notions (...) of NE iii 1-5 are interrelated (Sections 3-9). The setting-out of these interconnections makes it then possible to provide a comprehensive interpretation of the purpose of the passage. Its primary purpose is to explain how agents are responsible for their actions not just insofar as they are actions of this kind or that, but also insofar as they are noble or base: agents are responsible for their actions qua noble or base, because, typically via choice, their character dispositions are a causal factor of those actions (Section 10). The paper illustrates the different ways in which agents can be causes of their actions by means of Aristotle’s four basic types of agents (Section 11). A secondary purpose of NE iii 1-5 is to explain how agents can be held responsible for consequences of their actions (Section 12), in particular for their character dispositions insofar as these are noble or base, i.e. virtues or vices (Section 13). These two goals are not the only ones Aristotle pursues in the passage. But they are the ones Aristotle himself indicates in its first sentence and summarizes in its last paragraph; and the ones that give the passage a systematic unity. The paper also briefly consider the issues of freedom-to-do-otherwise, free choice and free-will in the contexts in which they occur (i.e. in the final paragraphs of Sections 6, 7, 12, 13). (shrink)

ABSTRACT: I argue that there is no evidence that Epicurus dealt with the kind of free-will problem he is traditionally associated with; i.e. that he discussed free choice or moral responsibility grounded on free choice, or that the "swerve" was involved in decision processes. Rather, for Epicurus, actions are fully determined by the agent's mental disposition at the outset of the action. Moral responsibility presupposes not free choice but that the person is unforced and causally responsible for the action. This (...) requires the agent's ability to influence causally, on the basis of their beliefs, the development of their behavioral dispositions. The "swerve" was intended to explain the non-necessity of agency without undermining Epicurus' atomistic explanation of the order in the universe, viz. by making the mental dispositions of adults non-necessary. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Joseph Hannon has expressed a most surprising objection to Aquinas scholar Prof William E. Carroll in his latest paper “Theological Objections to a Metaphysicalist Interpretation of Creation.” The main claim is that Prof. Carroll misunderstands Aquinas' doctrine of creatio ex nihilo by reducing it to a metaphysical notion, rather than considering it in its full theological sense. In this paper I show Hannon's misinterpretation of Carroll's and Thomas Aquinas' thought, particularly by stressing the dependence that the doctrine (...) of providence through secondary causes has on the doctrine of creatio ex nihilo. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from propositions in (...) that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can be found (...) in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)

NOTE: The English translation is listed separately. ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show (...) that for Kant actions, although qua theoretical objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (3) Since Kant's presentation of his theory of the Categories of Freedom is extremely brief, Kant's parallel theory of the theoretical categories in his Critique of Pure Reason is used as a guide for the interpretation of the practical categories and their systematic relevance. (shrink)

ABSTRACT: 1. This paper argues that Epicurus had a notion of moral responsibility based on the agent’s causal responsibility, as opposed to the agent’s ability to act or choose otherwise; that Epicurus considered it a necessary condition for praising or blaming an agent for an action, that it was the agent and not something else that brought the action about. Thus, the central question of moral responsibility was whether the agent was the, or a, cause of the action, or whether (...) the agent was forced to act by something else. Actions could be attributed to agents because it is in their actions that the agents, qua moral beings, manifest themselves. 2. As a result, the question of moral development becomes all important. The paper collects and discusses the evidence for Epicurus views on moral development, i.e. (i) on how humans become moral beings and (ii) on how humans can become morally better. It becomes clear that Epicurus envisaged a complex web of hereditary and environmental factors to shape the moral aspect of a human being. 3. In line with Epicurus’ theory of moral responsibility and moral development, Epicurus ethics does not have the function of developing or justifying a moral system that allows for the effective allocation of praise and blame. Rather, for him the function of ethics – and in fact of the whole of philosophy – is to give everyone a chance to morally improve. (shrink)

ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show that for Kant actions, although qua theoretical (...) objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (3) Since Kant's presentation of his theory of the Categories of Freedom is extremely brief, Kant's parallel theory of the theoretical categories in his Critique of Pure Reason is used as a guide for the interpretation of the practical categories and their systematic relevance. (Translation by Alex Worsnip, reviewed and approved by the author.). (shrink)

ABSTRACT: In this paper I show that, contrary to the prevalent view, in his De Interpretatione chapter 8, Aristotle is concerned with a kind of ambiguity, i.e. with homonymy; more precisely, with homonymy of linguistic expressions as it may occur in dialectical argument. The paper has two parts. In the first part, I argue that in the Sophistici Elenchi 175b39-176a5 Aristotle indubitably deals with homonymy in dialectical argument; that De Interpretatione 8 is a parallel to Sophistici Elenchi 175b39-176a5; that De (...) Interpretatione 8 is concerned with dialectical argument; that, hence, De Interpretatione 8, too, deals with homonymy in dialectical argument. In the second part I discuss objections that have been put forward against the view that De Interpretatione 8 is about homonymy and demonstrate that they do not succeed. (shrink)

ABSTRACT: This is a little piece directed at the newcomer to Aristotle, making some general remarks about reading Aristotle at the beginning and end, with sandwiched in between, a brief and much simplified discussion of some common misunderstandings of Aristotle's philosophy, concerning spontaneity, causal indeterminism, freedom-to-do-otherwise, free choice, agent causation, logical determinism, teleological determinism, artistic creativity and freedom (eleutheria).

The demand for effective interventions to improve domain-specific academic outcomes for individuals with special needs at either end of the spectrum has existed for some time. Since the earlier contributions to the literature documenting gifted individuals who were simultaneously exhibiting disabilities, there has been some progress in our understanding. We now know that in individuals with both gifts and disabilities, potentially, either or both of the exceptionalities can obscure the effects of the other, which significantly delays the average time to (...) receive a diagnosis. Such delays in diagnosis detrimentally impact the quality of life across various domains because there can be no opportunity to receive help in the form of effective interventions without a diagnosis. The purpose of this paper is to determine whether effective interventions exist to improve domain-specific (i.e., social, emotional, or academic) outcomes for people with both gifts and disabilities. A query was performed using evidence databases TRIP and PDQ for “twice-exceptional,” “Giftedness,” “Disability,” and “intervention.” The four most relevant, freely available studies in English were selected for critique. Despite identifying potential threats to validity among the studies, methodological similarities among them were strong enough to confidently conclude that not only do effective interventions exist for the population of gifted with ADHD, but the outcomes of these interventions may also carry over into other domains resulting in indirect effects. (shrink)

In recent years, philosophers have used expressions of Wittgenstein’s (e.g. “language-games,” “form of life,” and “family resemblance”) in attempts to conceive of the discipline of philosophy in a broad, open, and perhaps global way. These Wittgenstein-inspired approaches indicate an awareness of the importance of cultural and historical diversity for approaching philosophical questions. While some philosophers have taken inspiration from Wittgenstein in embracing contextualism in philosophical hermeneutics, Wittgenstein himself was more instrumental than contextual in his treatment of other philosophers; his focus (...) in his writings was on his own philosophical problems. Does this mean that Wittgensteinian philosophy is a poor resource after all for comparative, cross-cultural, or globally-engaged philosophy (i.e. if it is properly Wittgensteinian)? In this article, I examine the relevance of Wittgenstein to contextually-sensitive philosophy through studies of his conceptions of history and culture, his interest in Spengler’s philosophy of history, and recent scholarship by Hans-Johann Glock and Hans Sluga on the place of contextualism in Wittgenstein’s analysis of philosophical problems. Ultimately, this article advances the view that there are strong resources in Wittgenstein’s philosophy for those seeking a more globally-engaged approach to the field. (shrink)

We take up questions of passing/outing as they arise for those with queer femme identities. We argue that for persons with female-identified bodies and queer, feminine (‘femme’) gender identities, the possibilities above may not exist as distinct options: for example, what it means to ‘pass’ or ‘cover’ is not always distinguishable – conceptually or in practice – from living authentically and resisting heteronormative identification: i.e. the conditions of being ‘out’. In some ways, these conflations privilege queer femmes; in others, femmes (...) find themselves implicated in a political double bind. We contend that this example problematizes the very concepts of passing and outing, and the political and ethical demands that are taken to arise from them. We conclude by exploring what it means to live queer femme identity responsibly and what this means for the ethics of sexual identity more generally. (shrink)

Susanne Langer is mainly known as the American philosopher who, starting from her famous Philosophy in a New Key, worked in aesthetics and famously saw art as the product of the human mind’s most important, distinctive and remarkable ability, i.e., the ability to symbolise. But Langer’s later consideration of the connection between art and symbol is propagated by an early interest in the logic of symbols themselves. This rather neglected early part of Langer’s thought and her early interests and (...) lines of reasoning, which she somehow abandoned later on to dedicate herself exclusively to the study of art, are the topic of this paper. (shrink)

Susanne Langer’s idea of the primary apparition of music involves a dichotomy between two kinds of temporality: “felt time” and “clock time.” For Langer, musical time is exclusively felt time, and in this sense, music is “time made audible.” However, Langer also postulates what we would call ‘a strong suspension thesis’: the swallowing up of clock time in the illusion of felt time. In this paper we take issue with the ‘strong suspension thesis’ and its implications and ramifications regarding (...) not only musical meaning, but also the purported metaphysics of music construed as essentially inhering in felt time. We argue that this thesis is overstated and misdirecting insofar as it purports to describe what we experience when we hear music with understanding. We discuss a selection of examples of repetitive formations, from mediaeval music to contemporary music, which show that persistent, motion-inhibiting repetition undermines the listener’s ability to identify order and coherence due to a relative inability to anticipate the next occurrence of a differentiating musical event. We argue that Langer’s one-sided view of musical temporality, which patently relies on the conceptual framework of memory time and the specious present, exemplifies what we propose to call ‘the searchlight model of musical understanding,’ wherein the constant span of illumination of the searchlight (representing the span of the specious present) moves continuously parallel to, and along, its postulated target, i.e., the music heard, as it ‘illuminates’ it. We argue that, in the last analysis, memory time conceptually presupposes the publicly identifiable means of chronometric length. One maintains the ‘strong suspension thesis’ on pain of conceptual confusion. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure (...) with other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

In The World as Will and Representation (Vol. I, Book 3, § 52) by Arthur Schopenhauer we find the following, striking words: It is just this universality that belongs uniquely to music, together with the most precise distinctness, that gives it that high value as the panacea of all our sorrows. (p. 262) Accordingly, music ... is in the highest degree a universal language ... Yet its universality is by no means that empty universality of abstraction, but is of quite (...) a different kind; it is united with thorough and unmistakable distinctness. (p. 262) ... music expresses in an exceedingly universal language, in a material, that is, in mere tones, and with the greatest distinctness and truth, the inner being, the in-itself, of the world, which we think of under the concept of will (p. 264). These quotations contain an outright paradox: the meanings of music should be at the same time universal in the highest degree and characterised by the greatest distinctness. As it turns out this paradox does not follow merely from Schopenhauer's liking for brilliant, rethorical formulations. For it occurs in many contexts concerned with the expressive meaning of art, and especially music. Other occurrences of the dilemma are to be found in the writings of Felix Mendelssohn-Bartholdy and in the aesthetic theory of Susanne Langer formulated in chapter VIII, >On the Significance in Music of her book Philosophy in a New Key and it would be possible to quote many other sources. The persistently recurring nature of this paradox confirms that the issue will be central to any attempt at a complete theory of musical meaning. Furthermore, it may be essential for it to be resolved first if one aims to make sense of the relationship between musical and linguistic forms of meaning and, consequent upon this, to address the much debated question of whether music itself can be considered to be a language of the emotions. An attempt at a solution to the paradox in question constitutes the subject of this paper. For this purpose the framework and some notions of Langer's theory are used. The solution which I propose takes the form of distinguishing between two distinct notions of generality (which I will term 'generality' and 'abstractness'), as well as two distinct notions of particularity (which I will term 'specificity' and 'concreteness'), and involves assigning technically precise meanings to these with a view to constructing two relatively independent oppositions: on the one hand the concrete versus the abstract and, on the other, the specific versus the general. (Hints at such a solution are to be found both in Schopenhauer and in Langer). With the help of these notions it is, I believe, then possible to show that the arguments often quoted to the effect that musical meanings possess a certain generality in fact justify no more than their abstractness, while arguments usually thought to demonstrate that they possess a certain particularity in fact show only their specificity (but not concreteness). Consequently, musical meanings are shown to be abstract but specific, which does not entail any contradiction since these notions are independent and not opposed to each other. At the same time, musical meanings may then be contrasted with linguistic meanings, which themselves are abstract and general. If, however, each of the notions of abstractness and generality is understood as also permitting gradations, it will be the case that whereas linguistic meanings may be said to be more general (i.e. less specific) than musical ones, the latter are without any doubt more abstract than the former. (shrink)

Whatever theoretical perspective one adopts for interpreting Alice (mathematics, physics, psychoanalysis, etc.), reading it unfailingly turns into a series of unexpected discoveries. Yet probably no other readings prove to be as adventurous as the philosophical ones. Philosophers are inspired by the book to address a vast variety of issues, from the problem of internal meanings, i.e. the relation of saying to meaning, up to the existence of God and the creation of the world. In this chapter, I have tried to (...) trace some of the most impressive philosophical adventures in Wonderland that might give birth to still more stirring new ideas and discoveries in the future. (shrink)

An introduction to the special issue of the Journal “Forum Philosophicum” that contains nine studies dealing with a cluster of metaphysical questions of cross-cultural importance: H. Watzka, “A new realistic spirit: the analytical and the existential approaches to ontology”; P. Gilbert, “Voilà pourquoi je ne suis pas ‘ontologue’; P. Favraux, “La pertinence de l’ontologie pour la théologie”; E. Charmetant, "Naturalisme contemporain et ontologie humaine : vers un essentialisme différent"; J. Bremer, "Aristotle on touch”; T. Walsh, "Bonum est causa mali: a (...) problem and an opportunity for metaphysics in the thought of Thomas Aquinas and Hegel”; A. J. Carroll, “Disenchantment, rationality and the modernity of Max Weber”; G. Karuvelil, “Religious experience: reframing the question”; L. Caruana “Universal claims”. (shrink)

‘...if you learn to think like Peter Cave – with freshness, humour, objectivity and penetration – you will have been amply rewarded.’ :::: Prof. Felipe Fernandez-Armesto, University of Notre Dame __________________ Chapter Titles:>>> ___ 1 Lao Tzu: The Way to Tao >>> 2 Sappho: Lover >>> 3 Zeno of Elea: Tortoise Backer, Parmenidean Helper >>> 4 Gadfly: aka ‘Socrates’ >>> 5 Plato: Charioteer, Magnificent Footnote Inspirer – ‘Nobody Does It Better’ >>> 6 Aristotle: Earth-Bound, Walking >>> 7 Epicurus: Gardener, Curing (...) the Soul, Ably Assisted by Lucretius >>> 8 Avicenna: Flying Man, Unifier >>> 9 Descartes: With Princess, With Queen >>> 10 Spinoza: God-Intoxicated Atheist >>> 11 Leibniz: Monad Man >>> 12 Bishop Berkeley, ‘That Paradoxical Irishman’: Immaterialist, Tar-Water Advocate >>> 13 David Hume: The Great Infidel or Le Bon David >>> 14 Kant: Duty Calls, Categorically >>> 15 Schopenhauer: Pessimism With Flute >>> 16 John Stuart Mill: Utility Man, With Harriet, Soul-Mate >>> 17 Søren Kierkegaard: Who? >>> 18 Karl Marx: Hegelian, Freedom-Fighter >>> 19 Lewis Carroll: Curiouser and Curiouser >>> 20 Nietzsche: God-Slaying Jester, Trans-Valuer >>>> 21 Bertrand Russell: Radical, Aristocrat >>> 22 G. E. Moore: Common-Sense Defender, Bloomsbury’s Sage >>> 23 Heidegger: Hyphenater >>> 24 Jean-Paul Sartre: Existentialist, Novelist, French >>> 25 Simone Weil: Refuser and Would-Be Rescuer >>> 26 Simone de Beauvoir: Situated, Protester, Feminist >>> 27 Ludwig Wittgenstein: Therapist >>> 28 Hannah Arendt: Controversialist, Journalist? >>> 29 Iris Murdoch: Attender >>> 30 Samuel Beckett: Not I >>>. (shrink)

This book has been inspired by Walter Benjamin’s idea of an afterlife of an original in its translations and probes into a wide variety of extensions of Carroll’s story in six languages. For one thing, it deals with language that speaks and more or less automatically steers its users in a particular direction and, for another, it discusses the creativity of individual translators who not only share a definite picture of the world with their language community but, in great (...) many instances, reveal a unique resourcefulness in resisting its power. Each chapter deals first with a separate theoretical issue (e.g. literalness, style, gender, and tense) and then proceeds to examine its practical actualization in various translations of Alice. (shrink)

In this Master's dissertation, I try to show that the causal theory of memory, which is the only theory developed so far that at first view seems more plausible and that could be integrated with psychological explanations and investigations of memory, shows some conceptual and ontological problems that go beyond the internal inconsistencies that each version can present. On one hand, the memory phenomenon analyzed is very limited: in general it is reduced to the conscious act of remembering expressed in (...) a propositional format: the idea of an agent who can control his memory reports, in contrast to a passive subject who merely retrieve his encoded memories, is not even considered. Furthermore, the representational function of memory is the only function taken into account; and all the diachronic changes that could entail a dynamic conception of memory are ignored, as is the consideration of context in a broad sense of the term. On the other hand, causal theories make some implicit assumptions that are obviously questionable (e.g., the difference between facts and events) and leave some of their key concepts unexplained, like the nature of the causality, the isomorphism between the memory trace and the memory event, etc. Nonetheless, the principal point that we criticized is the idea of a correspondence between a past event or representation of it, the correspondent memory trace and the memory representation of it. Psychological models of memory, with the exception of the spatial analogy, question some of these assumptions and suggest that memory information is organized in a way other than that implied by the causal theory. But it is distributed connectionism that actually challenges the causal theory of memory, not only through some of its basic postulates, like the superpositional conception of memory traces, their mutual influence and constant state of change, but also because it is compatible with a more situated approach to memory phenomena as well as with the idea that memory in reality accomplishes a variety of functions that go beyond the representational one. The explicit and implicit ideas provided by distributed connectionism, together with the previous criticisms that we made to of causal theory, clearly suggest the possibility of developing another kind of philosophical theory of memory, different from existing theories. This task, nonetheless, implies: (a) A much deeper study of connectionism principles and memory models, as well as of the rival candidate, symbolism, plus the evaluation of these models in the light of psychological and neurophysiological empirical research, which unfortunately I have not dealt with in this work. (b) An analysis of the metaphysical nature of events and facts, in order to see if we should decide in favor of a realist or a non-realist account. It is also clear that this decision can’t be taken without an examination of perception studies (and not exclusively philosophical ones) which would be crucial for determining what is encoded in memory, and studies devoted to language, which, I suspect, plays an important role in the segmentation of reality. (c) A clarification of the notion of causality, because we wouldn’t like to deny any kind entail the complete disappearance of boundaries between memory and imagination. And even if I suspect that my future work will question the existence of absolute boundaries between these two capacities, the notion of causality can’t be completely erase from the theory of memory without erasing the memory phenomenon itself. But this causality, as we’ve already showed, can’t consist in the naïve conception adopted by the causal accounts of memory, nor can it be explained in counterfactual terms. If we think of the reconsolidation concept, of the interdependence between all the memory system, and of the deciding influence of context, it’s almost sure that more than one notion of causality will need to be invoked in order to explain memory. (d) Because I do not want to reduce the study of memory exclusively to cases of remembering, it’s essential to analyze how memory intervenes not only in imagination, but also in perception, reasoning and future projection, for example. In this respect, we could quote the interesting articles of Atance & O’Neill (2001) and Bucker & Carroll (2006), the first concerning the relationship between episodic memory and episodic future thinking, the second concerning the relationship between episodic memory and all kinds of self-projection, such as navigation and theory of mind, relations that would also have to be explored from a philosophical perspective, in particular to overcome the tendency to suppose that representation is the only function of memory. I will also mention the necessity of combining the notion of metamemory with that of memory to some extent; as I have already remarked, it is implausible to suppose that a subject who consciously remembers something is unable to exert any kind of control over his memory reports. (e) Finally, in order to integrate a situated conception of memory into a philosophical account, it will also be indispensable to take into consideration what is known as “everyday memory research” as well as studies in social and collective memory. (shrink)

ABSTRACT: This paper offers a generic revenge-proof solution to the Sorites paradox that is compatible with several philosophical approaches to vagueness, including epistemicism, supervaluationism, psychological contextualism and intuitionism. The solution is traditional in that it rejects the Sorites conditional and proposes a modally expressed weakened conditional instead. The modalities are defined by the first-order logic QS4M+FIN. (This logic is a modal companion to the intermediate logic QH+KF, which places the solution between intuitionistic and classical logic.) Borderlineness is introduced modally as (...) usual. The solution is innovative in that its modal system brings out the semi-determinability of vagueness. Whether something is borderline and whether a predicate is vague or precise is only semi-determinable: higher-order vagueness is columnar. Finally, the solution is based entirely on two assumptions. (1) It rejects the Sorites conditional. (2) It maintains that if one specifies borderlineness in terms of the ‒suitably interpreted‒ modal logic QS4M+FIN, then one can explain why the Sorites appears paradoxical. From (1)+(2) it results that one can tell neither where exactly in a Sorites series the borderline zone starts and ends nor what its extension is. Accordingly, the solution is also called agnostic. (shrink)

Although in some contexts the notions of an ordinary argument’s presumption, assumption, and presupposition appear to merge into the one concept of an implicit premise, there are important differences between these three notions. It is argued that assumption and presupposition, but not presumption, are basic logical notions. A presupposition of an argument is best understood as pertaining to a propositional element (a premise or the conclusion) e of the argument, such that the presupposition is a necessary condition for the truth (...) of e or for a term in e to have a referent. In contrast, an assumption of an argument pertains to the argument as a whole in that it is integral to the reasoning or inferential structure of the argument. A logical assumption of an argument is essentially a proposition that must be true in order for the argument aside from that proposition to be fully cogent. Nothing that is both comparable and distinguishing can be said about presumptions of arguments. Rather, presumptions of arguments are distinctively conventional; they are introduced through conventional rules (e.g., those that concern how to treat promises). So not all assumptions and not all presuppositions of arguments are presumptions of those arguments, although all presumptions of arguments are either assumptions or presuppositions of those arguments. This account avoids making the (monological) notion of presumption vacuous and dissolving the distinction between assumption and presumption, which is a vulnerability of alternative views such as Hansen’s and Bermejo-Luque’s, as is shown. (shrink)

Some believe that all arguments make an implicit “inference claim” that the conclusion is inferable from the premises (e.g., Bermejo-Luque, Grennan, the Groarkes, Hitchcock, Scriven). I try to show that this is confused. An act of arguing arises because an inference can be attributed to us, not a meta-level “inference claim” that would make the argument self-referential and regressive. I develop six (other) possible explanations of the popularity of the doctrine that similarly identify confusions.

Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which the (...) view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (shrink)

This book contains a selection of papers from the workshop *Women in the History of Analytic Philosophy* held in October 2019 in Tilburg, the Netherlands. It is the first volume devoted to the role of women in early analytic philosophy. It discusses the ideas of ten female philosophers and covers a period of over a hundred years, beginning with the contribution to the Significs Movement by Victoria, Lady Welby in the second half of the nineteenth century, and ending with Ruth (...) Barcan Marcus’s celebrated version of quantified modal logic after the Second World War. The book makes clear that women contributed substantially to the development of analytic philosophy in all areas of philosophy, from logic, epistemology, and philosophy of science, to ethics, metaphysics, and philosophy of language. It illustrates that although women's voices were no different from men's as regards their scope and versatility, they had a much harder time being heard. The book is aimed at historians of philosophy and scholars in gender studies. (shrink)

This article discusses the relationship (or lack thereof) between authors’ intentions and the meaning of literary works. It considers the advantages and disadvantages of Extreme and Modest Actual Intentionalism, Conventionalism, and two versions of Hypothetical Intentionalism, and discusses the role that one’s theoretical commitments about the robustness of linguistic conventions and the publicity of literary works should play in determining which view one accepts.

This paper is a discussion of Gabriel, Hülser and Schlotter’s 2009 article on a possible causal relation between Stoic logic and Frege. The paper provides detailed argument for why Rudolf Hirzel should not be taken as the qualified middleman in philosophical discussion with whom Frege learned what he ‘borrowed’ without acknowledgement from Stoic logic. Additionally, this paper offers some modest findings about some aspects of Frege's and Hirzel's lives and work habits, which may help us understand a little better Frege's (...) connection to Hirzel and to Stoic logic as well as Frege’s failure to acknowledge the Stoics. This paper is a purely historical offshoot of my essay ‘Frege plagiarized the Stoics’. Zero direct insights into either Frege’s or Stoic philosophy are offered. OPEN ACCESS. Choose 'without proxy' below. (shrink)

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

We consider emergence from the perspective of dynamics: states of a system evolving with time. We focus on the role of a decomposition of wholes into parts, and attempt to characterize relationships between levels without reference to whether higher-level properties are “novel” or “unexpected.” We offer a classification of different varieties of emergence, with and without new ontological elements at higher levels. -/- Submitted to a volume on Real Patterns (Tyler Milhouse, ed.), to be published by MIT Press.

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

The relationship of the author’s intention to the meaning of a literary work has been a persistently controversial topic in aesthetics. Anti-intentionalists Wimsatt and Beardsley, in the 1946 paper that launched the debate, accused critics who fueled their interpretative activity by poring over the author’s private diaries and life story of committing the ‘fallacy’ of equating the work’s meaning, properly determined by context and linguistic convention, with the meaning intended by the author. Hirsch responded that context and convention are not (...) sufficient to determine a unique meaning for a text; to avoid radical ambiguity we must appeal to the author’s intention, which actualizes one of the candidate meanings. Subsequent writers have defended refined versions of these views, and a variety of positions on the spectrum between them, in a debate that remains central to philosophical aesthetics. This Teaching and Learning Guide lists key readings and suggests how they might be incorporated within a syllabus. It also offers focus questions related to the readings. See also the companion article, Sherri Irvin, “Authors, Intentions and Literary Meaning.” Philosophy Compass 1 (2006), 114-128. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

We have a much better understanding of physics than we do of consciousness. I consider ways in which intrinsically mental aspects of fundamental ontology might induce modifications of the known laws of physics, or whether they could be relevant to accounting for consciousness if no such modifications exist. I suggest that our current knowledge of physics should make us skeptical of hypothetical modifications of the known rules, and that without such modifications it’s hard to imagine how intrinsically mental aspects could (...) play a useful explanatory role. Draft version of a paper submitted to Journal of Consciousness Studies, special issue responding to Philip Goff’s Galileo’s Error: Foundations for a New Science of Consciousness. (shrink)

I defend the extremist position that the fundamental ontology of the world consists of a vector in Hilbert space evolving according to the Schrödinger equation. The laws of physics are determined solely by the energy eigenspectrum of the Hamiltonian. The structure of our observed world, including space and fields living within it, should arise as a higher-level emergent description. I sketch how this might come about, although much work remains to be done.

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Bobzien’s reply to a defamatory blogpost on her essay ‘Frege plagiarized the Stoics’ in which she is accused among other things of plagiarism (!), and deliberate deception, and which contains a large number of falsehoods. (This reply is a minor contribution to the discussion of 'Frege plagiarized the Stoics', simply setting the record straight. It contains no important philosophical content whatsoever.).

Some modern cosmological models predict the appearance of Boltzmann Brains: observers who randomly fluctuate out of a thermal bath rather than naturally evolving from a low-entropy Big Bang. A theory in which most observers are of the Boltzmann Brain type is generally thought to be unacceptable, although opinions differ. I argue that such theories are indeed unacceptable: the real problem is with fluctuations into observers who are locally identical to ordinary observers, and their existence cannot be swept under the rug (...) by a choice of probability distributions over observers. The issue is not that the existence of such observers is ruled out by data, but that the theories that predict them are cognitively unstable: they cannot simultaneously be true and justifiably believed. (shrink)

It is commonplace in discussions of modern cosmology to assert that the early universe began in a special state. Conventionally, cosmologists characterize this fine-tuning in terms of the horizon and flatness problems. I argue that the fine-tuning is real, but these problems aren't the best way to think about it: causal disconnection of separated regions isn't the real problem, and flatness isn't a problem at all. Fine-tuning is better understood in terms of a measure on the space of trajectories: given (...) reasonable conditions in the late universe, the fraction of cosmological histories that were smooth at early times is incredibly tiny. This discussion helps clarify what is required by a complete theory of cosmological initial conditions. (shrink)